1. Applications of categories in computer science :
پدیدآورنده: edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
L57
1991
2. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
3. Foundations of software science and computation structures
پدیدآورنده: Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,System analysis, Congresses.
4. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Logic Colloquium '82 :
پدیدآورنده: edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982
6. Mathematical foundations of computer science 1993 :
پدیدآورنده: Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès
رده :
QA76
.
9
.
M35
A537
1993
7. Mathematical foundations of programming semantics :
پدیدآورنده: M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
8. Operator theory in harmonic and non-commutative analysis :
پدیدآورنده: Joseph A. Ball, Michael A. Dritschel, A.F.M. ter Elst, Pierre Portal, Denis Potapov, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Harmonic analysis, Congresses.,Noncommutative algebras, Congresses.,Operator theory, Congresses.,Mathematics.,Operator Theory.
رده :
QA329
9. Programming languages and systems :
پدیدآورنده: Amal Ahmed (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
10. Rewriting techniques and applications :
پدیدآورنده: N. Dershowitz, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
11. Semantics of data types :
پدیدآورنده: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
12. Typed Lambda Calculi and Applications :
پدیدآورنده: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
13. Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Lambda calculus -- Congresses
رده :
QA
9
.
5
.
I58
1993
14. Typed Lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Lambda calculus-- Congresses
رده :
QA
9
.
5
.
I58
1995
15. Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
پدیدآورنده: Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Lambda calculus - Congresses
رده :
QA
9
.
5
.
I58
1995
16. Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
پدیدآورنده: Pawel Urzyczyn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
3461
17. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
9
.
5
.
I58
2001
18. Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings
پدیدآورنده: Samson Abramsky )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2044
19. Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
پدیدآورنده: Jean-Yves Girard )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1581
20. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
پدیدآورنده: Martin Hofmann )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2701
